Relation between Intuitionistic Logic and Lattice
نویسندگان
چکیده
منابع مشابه
Intuitionistic Logic
There are basically two ways to view intuitionistic logic: (i) as a philosoph ical–foundational issue in mathematics, (ii) as a technical discipline within mathematical logic. Let us deal with the philosophical aspects first, they will provide the motivation for the subject. In doing so, we will follow L.E.J. Brouwer, the founding father of intuitionism. Brouwer did contribute little to intuiti...
متن کاملOn the relation between intuitionistic and classical modal logics
Intuitionistic propositional logic Int and its extensions, known as intermediate or superintuitionistic logics, in many respects can be regarded just as fragments of classical modal logics containing S4. At the syntactical level, the Godel translation t embeds every intermediate logic L = Int+ into modal logics in the interval L = [ L = S4 t( ); L = Grz t( )]. Semantically this is re ected by ...
متن کاملAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کاملSubstitutions of Sigma10 - sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic
This paper is concerned with notions of consequence. On the one hand we study admissible consequence, specifically for substitutions of Σ1sentences over Heyting Arithmetic (HA). On the other hand we study preservativity relations. The notion of preservativity of sentences over a given theory is a dual of the notion of conservativity of formulas over a given theory. We show that admissible conse...
متن کاملIntuitionistic Logic and Legal Ontologies
This paper briefly shows how Intuitionistic Description Logic can be considered a good alternative to classical ALC as far as formalizing legal knowledge is concerned.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Hiroshima Mathematical Journal
سال: 1939
ISSN: 0018-2079
DOI: 10.32917/hmj/1558490530